This paper analyzes socially optimal forest taxation when the government has a binding tax revenue requirement. In the Faustmann model the optimal design of forest taxation consists of non-distortionary taxes, such as site productivity tax, site value tax or profit tax. A combination of...