Definition:Propositional Tableau/Construction

 === Finite Propositional Tableau ===