A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions