\begin{definition}[Definition:Tableau Confutation]
Let $\mathbf H$ be a [[Definition:Set|set]] of [[Definition:WFF of Propositional Logic|WFFs of propositional logic]].
A '''tableau confutation''' of $\mathbf H$ is a [[Definition:Propositional Tableau|propositional tableau]] $T$ with [[Definition:Root of Propositional Tableau|root]] $\mathbf H$ such that every [[Definition:Branch (Graph Theory)|branch]] of $T$ is [[Definition:Contradictory Branch|contradictory]].
\end{definition}
{"config": "wiki", "file": "def_24602.txt"}