Pinpointing in Tableaus

Tableau-based decision procedures have been successfully used for solving a wide variety of problems. For some applications, nonethe-less, it is desirable not only to obtain a Boolean answer, but also to detect the causes for such a result. In this report, a method for nd-ing explanations on tableau-based procedures is explored, generalizing previous results on the eld. The importance and use of the method is shown by means of examples.