We introduce procellular algebras, so called because they are inverse limits of finite dimensional cellular algebras as defined by Graham and Lehrer. A procellular algebra is defined as a certain completion of an infinite dimensional cellular algebra whose cell datum is of “proflnite type”. We show how these notions overcome some known obstructions to the theory of cellular agebras in infinite dimensions.