After some research, the tableaux method seems to require full coverage, which would only converge with the search tree if all conditions have to be exhausted.