Completions of cellular algebras

We introduce procellular algebras, so called because they are inverse limit s of finite dimensional cellular algebras as defined by Graham and Lehrer. A procellular algebra is defined as a certain completion of an infinite dim ensional cellular algebra whose cell datum is of "profinite type". We show how these notions overcome some known obstructions to the theory of cellula r algebras in infinite dimensions.