Méthode du Tableau

Une technique de recherche de preuve et de test de satisfiabilité qui décompose progressivement des formules logiques en composants le long d'un arbre (le tableau ou arbre de vérité), ferme les branches contenant des contradictions et construit ainsi soit un contre‑modèle à partir d'une branche ouverte, soit établit la validité lorsque toutes les branches sont fermées.