Definition:Root of Propositional Tableau