I en trädstruktur, en sökning där det är möjligt att avgöra, vid varje steg, kan som en del av trädet avslås utan en ytterligare sökning.