File:Non-closed propositional tableau.svg Source: en.wikipedia.org/wiki/File:Non-closed_propositional_tableau.svg