The precise tail behavior of the total progeny of a killed branching random walk