A Probabilistic Framework for LLM Hallucination Detection via Belief Tree Propagation