In this article we develop convergence theory for a class of goal-oriented adaptive finite element algorithms for second order semilinear elliptic equations. We first introduce several approximate dual problems, and briefly discuss the target problem class. We then review some standard facts concerning conforming finite element discretization and error-estimate-driven adaptive finite element methods (AFEM). We include a brief summary of a priori estimates for semilinear problems, and then describe goal-oriented variations of the standard approach to AFEM (GOAFEM). Following the recent approach of Mommer-Stevenson and Holst-Pollock for linear problems, we first establish a contraction result for the primal problem. We then develop some additional estimates that make it possible to establish contraction of the combined primal-dual quasi-error, and subsequently show convergence in the sense of the quantity of interest. Numerical experiments support the theoretical results.