Hier een voorbeeld van een tableau waarbij twee takken open blijven. De gevolgtrekking waar het om gaat is p <-> (q v r) / (p <-> q) v (p <-> r), en is dus volgens het volgende tableau ongeldig.