  In the literature, the spine decomposition of branching Markov processes was
constructed under the assumption that each individual has at least one child.
In this paper, we give a detailed construction of the spine decomposition of
general branching Markov processes allowing the possibility of no offspring
when a particle dies. Then we give some applications of the spine
decomposition.
