Definition:Propositional Tableau Extension