Text this: Convergence of Adaptive Finite Element Methods for Semi-Linear Elliptic Partial Differential Equations