In a tree structure, a search in which it is possible to decide, at each step, which part of the tree may be rejected without a further search.