Recursively go down each branch see if the left value is lower and the right value is higher. If at any point you find that the condition is false, then the tree is not a BST, otherwise, it is a BST.