Leon Albert Henkin (April 19, 1921, Brooklyn, New York – November 1, 2006, Oakland, California) was a logician at the University of California, Berkeley.
He was principally known for "Henkin construction", his version of the proof of the semantic completeness of standard systems of first-order logic.