Definition:Infinite Propositional Tableau