When do we call an evaluation statement is derivable?

There's a derivation tree whose root is the evaluation statement.