This question is a generalized version of another question. My old question asked about bounds for the Stirling series, while this question concerns Laplace's method in general.
Laplace's method for the leading order term is described well on the relevant Wikipedia page. This method can be pushed to yield a full asymptotic series. One reference where this is described is Advanced Mathematical Methods for Scientists and Engineers: Asymptotic Methods and Perturbation Theory by Bender and Orszag. A proof is given in volume 2B of Simon's A Comprehensive Course in Analysis. An example of such an expansion is given in the question linked above.
Are any rigorous quantitative estimates known on the relative error of such an expansion, truncated at some arbitrary term? This seems like a fairly obvious question to ask about, yet I couldn't find any results after searching for a while.