Definition:Finished Propositional Tableau

Definition
Let $T$ be a propositional tableau.

Then $T$ is finished iff every branch of $T$ is either finished or contradictory.

Also see

 * Tableau Confutation is Finished


 * Finite Finished Tableau has Finished Branch or is Confutation