\begin{definition}[Definition:Finished Propositional Tableau]
Let $T$ be a propositional tableau.
Then $T$ is '''finished''' {{iff}} every branch of $T$ is either finished or contradictory.
\end{definition}