The heuristic function should be admissible, meaning it never overestimates the true cost of reaching the goal state. Ideally, the heuristic function should also be consistent, meaning that the estimated cost of reaching any successor state is never greater than the estimated cost of reaching the current state plus the cost of getting to the successor state.