We determine the Martin boundary for aperiodic simple random walk on a bi-tree, that is, the Cartesian product of two homogeneous trees. This is obtained by first deriving a "renewal theorem," giving ...