We systematically extend semiclassical real-rime propagation methods based on Gaussian wave packets by using the composition property of the time-dependent quantum-mechanical Green function. For the first time, in an application to the problem of barrier tunneling, a semiclassical time-domain calculation of the transmission probability exhibits good agreement with exact quantum mechanical values at energies below the barrier top. Only two insertions of unity are needed for these results in a benchmark model of reactive scattering.