Definition:Finite Propositional Tableau