first-order-logic tableaux Definition Open Tableaux (First-Order Logic) A tableau is open when at least one of its branches is open.