Figure: Checking for complete subtree